Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
191	On Voting Machine Design for Verification and Testability Cynthia Sturton Susmit Jha Sanjit A. Seshia Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Electronic voting Information society Voting machine Finite-state machine Voting system Theoretical computer science Design for testing X-Machine Testing Stream X-Machine Models of computation Politics Design
192	CALL FOR PAPERS NASSLLI 2014 STUDENT SESSION June 23-27, 2014 University of Maryland, College Park The North American Summer School for Logic, Language and Information (NASSLLI) welcomes Add to Reading List Source URL: web.pacuit.org Language: English - Date: 2014-09-16 15:33:14 Carnegie Mellon University Logic Knowledge Academia Science Institute for Logic Language and Computation
193	SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics Martin Burkhart, Mario Strasser, Dilip Many, Xenofontas Dimitropoulos ETH Zurich, Switzerland {burkhart, strasser, dmany, fontas}@tik.ee Add to Reading List Source URL: sepia.ee.ethz.ch Language: English - Date: 2011-01-06 04:06:22 Cryptographic protocols File sharing networks Secure multi-party computation Peer-to-peer Communications protocol Information theory Scalability Time complexity Internet privacy Theoretical computer science Information Data
194	INFORMATION AND COMPUTATION Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-02-28 12:09:49 Dimensional analysis Measurement Operator theory
195	Formal Verification of SystemC Designs Using a Petri-Net Based Representation Daniel Karlsson, Petru Eles, Zebo Peng Department of Computer and Information Science, Linköpings universitet, Sweden {danka, petel, zebpe}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-03-23 11:50:34 SystemC Models of computation Transaction-level modeling E Thread Petri net Electronic engineering Hardware verification languages Hardware description languages
196	Natural and artificial atoms for quantum computation Iulia Buluta1 , Sahel Ashhab1,2 , and Franco Nori1,2 arXiv:1002.1871v1 [quant-ph] 9 Feb[removed]Advanced Science Institute, RIKEN, Wako-shi, Saitama, [removed], Japan Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-28 08:34:22 Theoretical computer science Quantum computer Qubit Quantum teleportation Quantum error correction Charge qubit Quantum optics Quantum decoherence Loss–DiVincenzo quantum computer Quantum information science Physics Quantum mechanics
197	On Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation? Yuval Ishai1 , Eyal Kushilevitz1 , Yehuda Lindell2?? , and Erez Petrank1 1 Technion ({yuvali,eyalk,erez}@cs.technion.ac.il) Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:55 Computing Secure multi-party computation Secure two-party computation Cryptography Zero-knowledge proof Communications protocol Internet privacy Universal composability Verifiable secret sharing Cryptographic protocols Data Information
198	Manifesto from Dagstuhl Perspectives Workshop[removed]Computation and Palaeography: Potentials and Limits∗ Edited by Tal Hassner1 , Malte Rehbein2 , Peter A. Stokes3 , and Lior Wolf4 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-07-30 04:30:50 Papyrology Language Digitizing Digital humanities Geographic information system Transcription Image analysis Science Linguistics Writing Auxiliary sciences of history Palaeography
199	Bayesian Network Structure Learning using Factorized NML Universal Models Teemu Roos, Tomi Silander, Petri Kontkanen, and Petri Myllymäki Complex Systems Computation Group, Helsinki Institute for Information Technology Add to Reading List Source URL: ita.ucsd.edu Language: English - Date: 2008-01-04 13:52:34 Maximum likelihood Fisher information Bayesian network Minimum description length Likelihood function Bayesian information criterion Naive Bayes classifier Markov chain Statistics Estimation theory Bayesian statistics
200	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Morphisms Boleslaw Mikolajczak & Zuyan Wang Computer and Information Science Department Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2004-01-08 17:30:36 Computer science Petri Petri nets Science Concurrency Models of computation Diagrams

UPDATE